منابع مشابه
Logics of essence and accident
We say that things happen accidentally when they do indeed happen, but only by chance. In the opposite situation, an essential happening is inescapable, its inevitability being the sine qua non for its very occurrence. This paper will investigate modal logics on a language tailored to talk about essential and accidental statements. Completeness of some among the weakest and the strongest such s...
متن کاملLogics of Essence and Accident
In the literature, essence is formalized in two different ways, either de dicto, or de re. Following [11], we adopt its de dicto formalization: a formula is essential, if once it is true, it is necessarily true; otherwise, it is accidental. In this article, we study the model theory and axiomatization of the logic of essence and accident, i.e. the logic with essence operator (or accident operat...
متن کاملرابطه وجود و ماهیت در رساله "on being and essence"
هدف عمده ای که من در رساله خود تعقیب می کنم بررسی رابطه وجود و ماهیت از نظر توماس آکوئینی در رساله معروف خود تحت همین نام، است، که نام لاتین آن de ente et essentia می باشد و ترجمه انگلیسی آن تحت عنوان "on being and essence" است که ترجمه معمول آن به فارسی ((وجود و ماهیت)) می باشد. البته بهترین ترجمه فارسی واژه ente، ((موجودیت)) است ولی ما مطابق رسم آنرا رساله ((درباره وجود و ماهیت)) ...
15 صفحه اولThe Boxdot Conjecture and the Language of Essence and Accident
We show the Boxdot Conjecture holds for a limited but familiar range of Lemmon-Scott axioms. We re-introduce the language of essence and accident, first introduced by J. Marcos, and show how it aids our strategy. 1 & In modal logic, the boxdot translation, t, is the following translation: tp = p t? = ? t(φ! ψ) = (tφ! tψ) t φ = ( tφ∧ tφ) Note t...
متن کاملthe effect of traffic density on the accident externality from driving the case study of tehran
در این پژوهش به بررسی اثر افزایش ترافیک بر روی تعداد تصادفات پرداخته شده است. به این منظور 30 تقاطع در شهر تهران بطور تصادفی انتخاب گردید و تعداد تصادفات ماهیانه در این تقاطعات در طول سالهای 89-90 از سازمان کنترل ترافیک شهر تهران استخراج گردید و با استفاده از مدل داده های تابلویی و نرم افزار eviews مدل خطی و درجه دوم تخمین زده شد و در نهایت این نتیجه حاصل شد که تقاطعات پر ترافیک تر تعداد تصادفا...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ENGLISH LINGUISTICS
سال: 1986
ISSN: 0918-3701,1884-3107
DOI: 10.9793/elsj1984.3.231